#!/bin/sh

/usr/bin/time -f '{"usr_s": %U, "sys_s": %S, "tot_hms": "%E", "mjr_pf": %F, "mnr_pf": %R, "swaps": %W, "switches": %c, "waits": %w, "max_rss_kb": %M }' "$@"
